- 2 402 202 книги
#1
Logic and Automata: History and Perspectives (AUP - Texts in Logic and Games)
Jorg Flum, Erich Gradel, Thomas WilkeКатегория: История
4.27 Mb
#2
Parameterized Complexity Theory (Texts in Theoretical Computer Science. An EATCS Series)
J. Flum, M. Grohe,Категория: Компьютеры
3.62 Mb
#3
Logic and Automata: History and Perspectives (AUP - Texts in Logic and Games)
Jorg Flum, Erich Gradel, Thomas WilkeКатегория: История
4.26 Mb
#4
Finite Model Theory (Springer Monographs in Mathematics)
Heinz-Dieter Ebbinghaus, Jörg Flum
15.01 Mb
#7
Ebbinghaus H.-D., Flum J., Thomas W. Mathematical logic (ISBN 0-387-90895-1)(Springer, 1984)(L)(T)(113s).djvu
2.03 Mb
#11
Logic and automata: History and perspectives
Jorg Flum, Erich Gradel, Thomas WilkeКатегория: Algorithms
4.25 Mb
#13
Mathematical Logic
Ebbinghaus Heinz-Dieter, Flum Jörg, Thomas WolfgangКатегория: Mathematics
3.48 Mb
#17
Computer Science Logic, 13 conf., CSL '99
Jörg Flum, Mario Rodriguez-ArtalejoКатегория: Cs_Computer science, CsLn_Lecture notes
3.76 Mb
#18
Topological model theory
Jörg Flum, Martin ZieglerКатегория: M_Mathematics, Mln_Lecture notes
993 Kb
#20
Parameterized Complexity Theory (Texts in Theoretical Computer Science. An EATCS Series)
J. Flum, M. Grohe
3.01 Mb
#21
Mathematical Logic: Undergraduate Texts in Mathematics (Undergraduate texts in mathematics)
H.D. Ebbinghaus, J. Flum, W. Thomas
1008 Kb
#22
Mathematical Logic: Undergraduate Texts in Mathematics (Undergraduate texts in mathematics)
H.D. Ebbinghaus, J. Flum, W. Thomas
6.92 Mb
